<?php
// MyMyUNSW: log a user out (clean up their session)
// Written by John Shepherd, April 2006

require("../lib/defs.php");
session_start();
unset($_SESSION["loggedIn"]);
//$_SESSION = array();
//session_destroy();
goto("index.php");
?>
